Non-Deterministic FInite Automata